public class BadugiException extends Exception
{
	BadugiException(String s)
	{
		super(s);
	}
};